481. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
482. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
483. The logic of programming
Author: Hehner, Eric C. R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H427
1984
484. The logic of programming
Author: Hehner, Eric C. R.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H427
1984
485. The logic of programming
Author: / Eric C.R. Hehner
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer programming,Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H42
1984
486. The logical basis for computer programming
پدیدآورنده : Zohar Manna, Richard Waldinger
موضوع : Electronic digital computers--Programming,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
487. The logical basis for computer programming
Author: Manna, Zohar
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M35595
1985
488. The logical basis for computer programming
Author: Manna, Zohar
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M35595
1985
489. The temporal logic of reactive and concurrent systems
Author: Manna, Zohar
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
M3564
1991
490. The transparent paolog machine
Author: / Marc Eisenstadt, Mike Brayshaw, Jocelyn Paine,Eisenstadt
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Prolog ( Computer Program language),Logic programming ( Computer Science),Transparent prolog machine
Classification :
QA
76
.
73
.
P76E48
1991
491. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
492. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Functional programming )Computer science( - Congresses , Logic programming - Congresses
Classification :
QA
76
.
62
.
F84
1998
493. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
62
.
F84
1998
494. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 Proceedings
Author: edited by Ehud Shapiro
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L4
v
.
225
495. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986: Proceedings
Author: edited by Ehud Y. Shapiro
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
225
496. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
Author: edited by Ehud Shapiro.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
Classification :
QA76
.
6
E358
1986
497. Threshold logic and its applications
Author: Muroga, Saburo.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Threshold logic,، Linear programming,، Switching theory
Classification :
QA
401
.
M85
498. Threshold logic & its applications
Author: MUROGA,SABURO
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: THRESHOLD LOGIC , LINEAR PROGRAMMING , SWITCHING THEORY
Classification :
QA
401
.
M85
499. Time and Logic
Author: / Edited by Leonard Bolc and Andrzej Szałas.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic programming.,Time,a04,a06
Classification :
QA76
.
63
500. Towards a design flow for reversible logic
Author: Wille, Robert., Robert Wille, Rolf Drechsler
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Computer logic,، Computer architecture,، Logic programming
Classification :
QA
76
.
9
.
L63
W55
2010
